A Unified Tool for Performance Modelling and Prediction
نویسندگان
چکیده
We describe a novel performability modelling approach which facilitates the efficient solution of performance models extracted from high-level descriptions of systems. The notation which we use for our high-level designs is the UML graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the MTBDD-based PRISM probabilistic model checker. The UML models are compiled through an intermediate language, the stochastic process algebra PEPA, before translation into MTBDDs for solution. We illustrate our approach on a real-world analysis problem from the domain of mobile telephony.
منابع مشابه
Modelling Customer Attraction Prediction in Customer Relation Management using Decision Tree: A Data Mining Approach
In Today’s quality- based competitive world, known as knowledge age, customer attraction is of ultimate importance. In respect to the slogan “customer is always right”, customer relation management is the core of an organizational strategy playing an important role in four aspects of customer identification, customer attraction, customer retaining, and customer satisfaction. Commercial organiza...
متن کاملA Novel Type-2 Adaptive Neuro Fuzzy Inference System Classifier for Modelling Uncertainty in Prediction of Air Pollution Disaster (RESEARCH NOTE)
Type-2 fuzzy set theory is one of the most powerful tools for dealing with the uncertainty and imperfection in dynamic and complex environments. The applications of type-2 fuzzy sets and soft computing methods are rapidly emerging in the ecological fields such as air pollution and weather prediction. The air pollution problem is a major public health problem in many cities of the world. Predict...
متن کاملFunctional-Coefficient Autoregressive Model and its Application for Prediction of the Iranian Heavy Crude Oil Price
Time series and their methods of analysis are important subjects in statistics. Most of time series have a linear behavior and can be modelled by linear ARIMA models. However, some of realized time series have a nonlinear behavior and for modelling them one needs nonlinear models. For this, many good parametric nonlinear models such as bilinear model, exponential autoregressive model, threshold...
متن کاملPrediction of Deformation of Circular Plates Subjected to Impulsive Loading Using GMDH-type Neural Network
In this paper, experimental responses of the clamped mild steel, copper, and aluminium circular plates are presented subjected to blast loading. The GMDH-type neural networks (Group Method of Data Handling) are then used for the modelling of the mid-point deflection thickness ratio of the circular plates using those experimental results. The aim of such modelling is to show how the mid-point de...
متن کاملPavement performance prediction model development for Tehran
Highways and in particular their pavements are the fundamental components of the road network. They require continuous maintenance since they deteriorate due to changing traffic and environmental conditions. Monitoring methods and efficient pavement management systems are needed for optimizing maintenance operations. Pavement performance prediction models are useful tools for determining the op...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Rel. Eng. & Sys. Safety
دوره 89 شماره
صفحات -
تاریخ انتشار 2003